deductive reasoning example